This volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...
Lee masThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lee mas